Nuprl Lemma : ma-is-empty_wf_join
0,22
postcript
pdf
L
:MsgA List. ma-is-empty(
(
L
))
latex
Definitions
x
:
A
.
B
(
x
)
,
t
T
Lemmas
msg-form-join-list
,
msga
wf
origin
L:MsgA List. ma-is-empty(
(L)) 
L:MsgA List. ma-is-empty((L)) x:A. B(x) T